Interaction and observation, categorically
نویسنده
چکیده
This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels of the homomorphisms of dialgebras. As an example we present the asynchronous semantics of the CCS.
منابع مشابه
Categorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملارزیابی تدریس دبیران متوسطه براساس عوامل دهگانه فلندرز
The academic performance of students is a topic that has attracted many educational administrators. Among the factors effective on improving the students' academic performance are the teachers' methods and their interaction with the students. Using direct observation, coding the teaching/learning process to determine the type of relationship, and analysis of quality were common during the 50s a...
متن کاملThe effect of stress and glucocorticoids on modulation of pain in mice: Interaction with activation of voltage dependent Ca2+ channel
Previous studies indicated that stress and glucocorticoids have modulatory effects on acute pain. The aim of present study was to determine the interaction between stress and glucocorticoids with activation of voltage dependent Ca2+ channel on modulation of acute pain in mice. Male albino mice (25-30 g) were used for this experiment. Tail flick and hot plate were used for evaluation of analgesi...
متن کاملA Study of Bit Condition for Generation Rx -Mode Waves: Interaction of Particles with Z/UH-Mode Waves
Interactions of charge particles with electromagnetic waves have important effects (linear and nonlinear) on the propagation of electromagnetic waves, and it can somewhat play a role in generation of the new mode waves. Besides, the particle energies can play an important role in causing instability in plasma. The values of parallel energy of the particles have been calculated so that they can ...
متن کاملThe effect of stress and glucocorticoids on modulation of pain in mice: Interaction with activation of voltage dependent Ca2+ channel
Previous studies indicated that stress and glucocorticoids have modulatory effects on acute pain. The aim of present study was to determine the interaction between stress and glucocorticoids with activation of voltage dependent Ca2+ channel on modulation of acute pain in mice. Male albino mice (25-30 g) were used for this experiment. Tail flick and hot plate were used for evaluation of analgesi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011